#include <shell.h>
#include <sched.h>
#include <string.h>

int kill (char * param)
{
	kill_task (atoi (param));
}
